A <#60#>predicate<#60#> is a procedure that always returns a boolean value (<#61#><#61#> or ). An <#62#>equivalence predicate<#62#> is the computational analogue of a mathematical equivalence relation (it is symmetric, reflexive, and transitive). Of the equivalence predicates described in this section, <#63#>eq?<#63#> is the finest or most discriminating, and <#64#>equal?<#64#> is the coarsest. <#65#>Eqv?<#65#> is slightly less discriminating than <#66#>eq?<#66#>. <#67#>Pitman doesn't like this paragraph. Lift the discussion from the Maclisp manual. Explain why there's more than one predicate.<#67#>